J. P. Jones, J. C. Shepherdson; "Variants of Robinson’s essentially undecidable theory R"